Como Referenciar este Documento no Padrão INPE (Formato BibINPE)
BITTENCOURT, G. Inferência lógica por transformação canônica. In: SIMPÓSIO BRASILEIRO DE INTELIGÊNCIA ARTIFICIAL, 10., , Porto Alegre, RS. (campo ausente ou vazio: 'booktitle') 1993. Disponível em: <http://urlib.net/ibi/8JMKD3MGP3W34R/3SUPKJB>.
Como Fazer a Citação no Texto (por autor/ano)
... como proposto por Bittencourt (1993).
... pode ser encontrada na literatura (BITTENCOURT, 1993).